Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program

Although control Lyapunov functions (CLFs) provide a mature framework for the synthesis of stabilizing controllers, their application in the field of hybrid systems remains scarce. One of the reasons for this is conservativeness of Lyapunov conditions. This article proposes a methodology that reduces conservatism of CLF design and is applicable to a wide class of discrete-time nonlinear hybrid systems. Rather than searching for global CLFs off-line, we focus on synthesizing CLFs by solving on-line an optimization problem. This approach makes it possible to derive a trajectory-dependent CLF, which is allowed to be locally non-monotone. Besides the theoretical appeal of the proposed idea, we indicate that for systems affine in control and CLFs based on infinity norms, the corresponding on-line optimization problem can be formulated as a single linear program.